$\forall$$f$:($\mathbb{N}\rightarrow\mathbb{Q}$).
\\[0ex]($\forall$$n$:$\mathbb{N}$. 0 $\leq$ $f$($n$))
\\[0ex]$\Rightarrow$ ($\exists$$q$:$\mathbb{Q}$. (0 $<$ $q$ \& ($\forall$$n$:$\mathbb{N}$. $\exists$$m$:$\mathbb{N}$. (($n$ $\leq$ $m$) \& $q$ $\leq$ $f$($m$)))))
\\[0ex]$\Rightarrow$ ($\forall$$B$:$\mathbb{Q}$. $\exists$$n$:$\mathbb{N}$. $B$ $\leq$ $\Sigma$0 $\leq$ $i$ $<$ $n$. $f$($i$))